SCG_INK
22
74
5104 1280
5101 1277
5101 1276
5096 1271
5093 1267
5087 1262
5083 1255
5076 1249
5068 1241
5058 1235
5048 1226
5035 1220
5021 1212
5005 1206
4989 1199
4970 1195
4949 1193
4928 1193
4903 1195
4879 1201
4850 1209
4819 1221
4790 1233
4761 1249
4730 1265
4703 1284
4675 1304
4655 1325
4634 1348
4620 1372
4608 1395
4601 1419
4598 1444
4598 1469
4604 1493
4613 1517
4627 1538
4647 1560
4671 1582
4698 1604
4730 1625
4764 1645
4803 1667
4843 1690
4881 1714
4921 1740
4957 1767
4992 1796
5024 1828
5051 1861
5073 1897
5092 1933
5105 1969
5116 2007
5119 2043
5119 2082
5112 2118
5099 2153
5078 2184
5053 2211
5020 2235
4982 2252
4937 2265
4887 2266
4838 2259
4787 2241
4737 2212
4694 2180
4658 2147
4624 2109
4606 2074
4598 2043
4595 2015
4606 1998
26
5311 1568
5320 1567
5323 1562
5330 1563
5337 1573
5341 1585
5349 1611
5350 1639
5355 1682
5354 1725
5358 1778
5357 1831
5358 1887
5357 1939
5356 1990
5356 2033
5357 2072
5357 2105
5357 2132
5357 2152
5357 2164
5361 2169
5364 2160
5363 2140
5365 2111
5365 2071
6
5310 1287
5313 1277
5309 1266
5314 1263
5320 1263
5320 1257
55
5618 1626
5611 1650
5611 1683
5604 1715
5595 1748
5595 1793
5590 1835
5594 1884
5594 1927
5598 1973
5603 2013
5610 2054
5614 2088
5619 2118
5625 2143
5628 2161
5630 2174
5630 2175
5629 2167
5627 2147
5626 2118
5624 2081
5622 2036
5622 1983
5625 1928
5627 1871
5636 1817
5646 1761
5660 1711
5681 1667
5706 1627
5733 1594
5760 1569
5789 1552
5822 1542
5852 1542
5884 1551
5912 1569
5935 1594
5958 1628
5977 1665
5992 1711
5999 1759
6003 1814
6000 1867
5997 1918
5991 1966
5985 2008
5979 2043
5975 2069
5975 2091
5974 2099
5976 2093
5982 2073
5987 2040
48
6188 1165
6181 1163
6182 1163
6180 1153
6181 1141
6191 1132
6198 1117
6215 1106
6230 1091
6253 1080
6274 1071
6300 1066
6324 1066
6349 1072
6372 1085
6391 1107
6406 1134
6418 1169
6421 1209
6418 1254
6409 1301
6396 1349
6375 1393
6354 1433
6329 1465
6306 1491
6280 1509
6260 1517
6239 1516
6223 1506
6212 1491
6204 1469
6202 1445
6205 1419
6212 1397
6225 1379
6240 1367
6260 1360
6279 1359
6300 1363
6321 1372
6341 1385
6361 1398
6375 1409
6388 1419
6402 1431
6410 1436
6420 1441
26
6915 1287
6915 1280
6915 1278
6915 1279
6911 1284
6905 1297
6893 1314
6880 1344
6858 1377
6836 1427
6808 1480
6781 1546
6752 1615
6727 1687
6705 1759
6690 1829
6677 1896
6676 1956
6679 2014
6690 2061
6706 2103
6725 2132
6752 2158
6778 2171
6802 2173
6829 2164
19
6997 1632
7008 1648
7024 1674
7039 1701
7057 1728
7083 1764
7107 1797
7140 1833
7167 1865
7198 1899
7226 1927
7254 1954
7279 1977
7301 1994
7325 2011
7341 2022
7353 2024
7362 2020
7366 2006
22
7341 1593
7345 1586
7345 1580
7345 1586
7334 1603
7318 1621
7307 1652
7285 1684
7263 1724
7234 1765
7203 1811
7174 1854
7148 1894
7122 1932
7100 1963
7086 1990
7075 2009
7073 2025
7075 2032
7080 2026
7093 2009
7107 1981
30
7308 1312
7318 1302
7323 1292
7339 1294
7351 1302
7367 1312
7395 1336
7420 1363
7453 1405
7484 1449
7516 1506
7546 1565
7573 1633
7596 1702
7616 1778
7629 1852
7636 1925
7631 1994
7623 2059
7608 2118
7591 2172
7571 2217
7552 2253
7532 2281
7516 2298
7509 2309
7506 2309
7509 2294
7520 2270
7536 2234
19
8072 1648
8073 1659
8072 1671
8073 1688
8072 1712
8070 1734
8071 1765
8071 1796
8072 1830
8071 1863
8068 1898
8064 1928
8060 1953
8058 1975
8052 1988
8048 1997
8045 2002
8042 1996
8039 1984
12
7917 1796
7919 1796
7926 1792
7946 1789
7974 1783
8005 1776
8044 1767
8090 1759
8135 1751
8178 1741
8220 1734
8254 1726
33
8782 1813
8788 1813
8787 1800
8796 1793
8798 1780
8797 1762
8800 1745
8793 1724
8788 1706
8774 1686
8765 1673
8742 1658
8725 1652
8698 1650
8671 1658
8637 1674
8604 1700
8568 1730
8535 1769
8503 1814
8473 1865
8452 1916
8436 1973
8429 2026
8434 2075
8448 2120
8472 2156
8505 2188
8542 2204
8587 2211
8634 2211
8678 2198
8724 2177
43
9162 1759
9166 1746
9161 1730
9154 1719
9142 1715
9122 1708
9109 1714
9087 1719
9065 1734
9037 1752
9010 1780
8982 1813
8955 1854
8927 1897
8904 1944
8885 1991
8877 2039
8876 2082
8885 2122
8903 2153
8931 2177
8968 2191
9014 2196
9063 2191
9110 2176
9155 2153
9197 2119
9230 2077
9257 2029
9273 1979
9278 1922
9277 1871
9262 1824
9239 1781
9211 1745
9182 1718
9152 1697
9126 1687
9099 1682
9078 1682
9071 1687
9072 1691
9087 1701
42
9651 1641
9657 1630
9661 1625
9657 1617
9647 1611
9634 1614
9613 1616
9592 1624
9564 1631
9538 1643
9511 1654
9488 1665
9472 1678
9464 1692
9463 1708
9469 1725
9484 1742
9503 1759
9531 1780
9562 1800
9595 1822
9632 1847
9669 1870
9704 1894
9734 1920
9759 1948
9774 1973
9780 1999
9775 2024
9761 2047
9736 2066
9703 2082
9661 2092
9620 2097
9573 2099
9527 2096
9484 2088
9445 2077
9415 2066
9388 2050
9366 2032
9348 2015
44
9995 1182
9989 1180
9986 1181
9982 1181
9975 1178
9975 1177
9974 1170
9983 1163
9994 1151
10009 1144
10029 1136
10054 1131
10080 1129
10111 1137
10137 1153
10162 1178
10182 1211
10196 1252
10202 1295
10202 1343
10193 1388
10175 1429
10151 1464
10122 1491
10089 1508
10056 1516
10023 1515
9993 1505
9968 1494
9947 1476
9936 1461
9936 1442
9946 1431
9966 1423
9994 1419
10031 1419
10073 1421
10116 1426
10159 1438
10194 1446
10228 1459
10256 1472
10276 1481
10293 1495
24
10676 1334
10669 1326
10660 1327
10644 1335
10626 1348
10603 1380
10575 1417
10547 1467
10513 1523
10484 1588
10452 1654
10427 1724
10406 1793
10394 1860
10388 1922
10389 1979
10402 2030
10420 2073
10445 2110
10470 2133
10506 2148
10540 2154
10573 2149
10606 2135
20
10793 1735
10809 1737
10830 1748
10854 1765
10875 1780
10906 1809
10938 1837
10973 1871
11006 1904
11038 1938
11065 1969
11093 1999
11117 2029
11136 2054
11152 2077
11161 2085
11169 2089
11178 2087
11184 2072
11189 2049
21
11216 1686
11214 1681
11205 1682
11193 1693
11180 1715
11151 1738
11126 1772
11090 1807
11055 1851
11013 1894
10972 1939
10932 1977
10898 2012
10870 2043
10849 2064
10839 2084
10833 2089
10837 2089
10854 2078
10877 2054
10906 2020
26
11225 1235
11240 1230
11256 1229
11279 1240
11308 1262
11337 1287
11373 1328
11402 1374
11435 1429
11463 1488
11485 1554
11501 1623
11512 1693
11510 1765
11499 1834
11479 1899
11452 1960
11420 2013
11390 2058
11363 2096
11338 2122
11325 2143
11319 2153
11319 2147
11327 2136
11343 2110
15
11780 1796
11775 1800
11778 1800
11789 1791
11810 1792
11838 1791
11872 1790
11908 1789
11946 1787
11986 1788
12016 1784
12044 1781
12068 1781
12084 1780
12092 1782
13
11835 1878
11814 1885
11802 1895
11799 1901
11801 1901
11819 1904
11844 1904
11874 1900
11911 1899
11950 1898
11989 1890
12030 1883
12067 1872
23
12535 1440
12542 1433
12545 1433
12550 1445
12551 1473
12549 1503
12551 1550
12549 1599
12549 1657
12544 1716
12540 1777
12536 1836
12533 1888
12532 1939
12532 1981
12533 2015
12535 2043
12538 2067
12539 2076
12547 2079
12552 2075
12554 2068
12556 2054

ANNOTATIONS
SYMBOL <0> s
SYMBOLMAP <0> 0
SYMBOL <1, 2> i
SYMBOLMAP <1, 2> 1
SYMBOL <3> n
SYMBOLMAP <3> 2
SYMBOL <4> 2
SYMBOLMAP <4> 3
SYMBOL <5> lparen
SYMBOLMAP <5> 4
SYMBOL <6, 7> x
SYMBOLMAP <6, 7> 5
SYMBOL <8> rparen
SYMBOLMAP <8> 6
SYMBOL <9, 10> plus
SYMBOLMAP <9, 10> 7
SYMBOL <11> c
SYMBOLMAP <11> 8
SYMBOL <12> o
SYMBOLMAP <12> 9
SYMBOL <13> s
SYMBOLMAP <13> 10
SYMBOL <14> 2
SYMBOLMAP <14> 11
SYMBOL <15> lparen
SYMBOLMAP <15> 12
SYMBOL <16, 17> x
SYMBOLMAP <16, 17> 13
SYMBOL <18> rparen
SYMBOLMAP <18> 14
SYMBOL <19, 20> eq
SYMBOLMAP <19, 20> 15
SYMBOL <21> 1
SYMBOLMAP <21> 16

LINK <0> R <1, 2>
LINK <1, 2> R <3>
LINK <0, 1, 2, 3> AR <4>
LINK <5> R <6, 7>
LINK <6, 7> R <8>
LINK <0, 1, 2, 3, 4> R <5, 6, 7, 8>
LINK <0, 1, 2, 3, 4, 5, 6, 7, 8> R <9, 10>
LINK <11> R <12>
LINK <12> R <13>
LINK <11, 12, 13> AR <14>
LINK <15> R <16, 17>
LINK <16, 17> R <18>
LINK <11, 12, 13, 14> R <15, 16, 17, 18>
LINK <9, 10> R <11, 12, 13, 14, 15, 16, 17, 18>
LINK <0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18> R <19, 20>
LINK <19, 20> R <21>

TREE (REL (TERM eq)
     (ADD (FN (SUP (NAME (TERM s/i/n)) (NUM (TERM 2)))
	           (VAR (TERM x))
			 )
			 (FN (SUP (NAME (TERM c/o/s)) (NUM (TERM 2)))
			     (VAR (TERM x))
		)	 )
		(NUM (TERM 1))
)
